Fixups, following up to the user-interface timestamp change.
authorPaul Eggert <eggert@cs.ucla.edu>
Sat, 14 May 2011 09:03:53 +0000 (02:03 -0700)
committerPaul Eggert <eggert@cs.ucla.edu>
Sat, 14 May 2011 09:03:53 +0000 (02:03 -0700)
commit7d366da33a73264c799fc1023b64f37278cbbd7a
tree775f34fbd248d5f75eecb60ee00493079c065bd1
parent225afa2bfcb2e080c56cb7dca66093f255e4229f
Fixups, following up to the user-interface timestamp change.

* nsterm.m (last_mouse_movement_time, ns_mouse_position): Use Time
for UI timestamps, instead of unsigned long.
* w32gui.h (Time): Define by including "systime.h" rather than by
declaring it ourselves.  (Bug#8664)
src/ChangeLog
src/nsterm.m
src/w32gui.h